Capabilities and Limitations of Static Error Detection in Software for Critical Systems
نویسنده
چکیده
A new category of static analysis tool is beginning to appear in the marketplace that goes beyond checking of relatively local characteristics of software modules to assess the logical consistency of an entire software system. Our belief is that these tools have the potential to dramatically enhance the effectiveness and timeliness of validation and verification of software for critical systems. Nevertheless, these tools have limitations, and it is important to understand both the capabilities and limitations of such tools to ensure that they are utilized most productively in the overall development life cycle of software for critical systems.
منابع مشابه
Proposing an Efficient Software-Based Method for Enhancing the Reliability of Critical Application Robot
Robots play such remarkable roles in humans’ modern lives that performing many tasks without them isimpossible. Using robotic systems is gradually increasing the tasks allocated to them and they are becomingmore complex and critical. Software reliability is one of the most significant requirements of robots. Forenhancing reliability, systems should be inherently designed to be tolerable of soft...
متن کاملEffectiveness and Limitations of Various Software Techniques for "Soft Error" Detection: A Comparative Study
This paper deals with different software based strategies allowing the on-line detection of bit flip errors arising in microprocessor-based digital architectures as the consequence of the interaction with radiation. Fault injection experiments put in evidence the detection capabilities and the limitations of each of the studied techniques. RELATED TOPICS: Radiation effects, fault tolerant syste...
متن کاملTHE STUDY OF PACKET LOSS EFFECT ON NETWORK CONTROL SYSTEM ERROR FUNCTION MODEL
Modern control systems widely use network to decrease the implementation cost and also increase the performance. Although they have several advantages, they suffer from some limitations and deficiencies. Packet loss is one of the main limitations which affect the control system in different conditions and finally can lead to system instability. To prevent such problems it is important to model ...
متن کاملEstimation of pull-in instability voltage of Euler-Bernoulli micro beam by back propagation artificial neural network
The static pull-in instability of beam-type micro-electromechanical systems is theoretically investigated. Two engineering cases including cantilever and double cantilever micro-beam are considered. Considering the mid-plane stretching as the source of the nonlinearity in the beam behavior, a nonlinear size-dependent Euler-Bernoulli beam model is used based on a modified couple stress theory, c...
متن کاملReversible Logic Multipliers: Novel Low-cost Parity-Preserving Designs
Reversible logic is one of the new paradigms for power optimization that can be used instead of the current circuits. Moreover, the fault-tolerance capability in the form of error detection or error correction is a vital aspect for current processing systems. In this paper, as the multiplication is an important operation in computing systems, some novel reversible multiplier designs are propose...
متن کامل